#include "cpu/exec/helper.h"
make_helper(leave){
cpu.esp = cpu.ebp;
cpu.ebp = swaddr_read(cpu.esp, 4); 
cpu.esp += 4; 
print_asm("leave");
return 1;
}